1. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
پدیدآورنده : Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
